Colimits, Stanley-Reisner Algebras, and Loop Spaces
نویسندگان
چکیده
We study diagrams associated with a finite simplicial complex K, in various algebraic and topological categories. We relate their colimits to familiar structures in algebra, combinatorics, geometry and topology. These include: right-angled Artin and Coxeter groups (and their complex analogues, which we call circulation groups); Stanley-Reisner algebras and coalgebras; Davis and Januszkiewicz’s spaces DJ(K) associated with toric manifolds and their generalisations; and coordinate subspace arrangements. When K is a flag complex, we extend well-known results on Artin and Coxeter groups by confirming that the relevant circulation group is homotopy equivalent to the space of loops ΩDJ(K). We define homotopy colimits for diagrams of topological monoids and topological groups, and show they commute with the formation of classifying spaces in a suitably generalised sense. We deduce that the homotopy colimit of the appropriate diagram of topological groups is a model for ΩDJ(K) for an arbitrary complex K, and that the natural projection onto the original colimit is a homotopy equivalence when K is flag. In this case, the two models are compatible.
منابع مشابه
ar X iv : m at h / 02 02 08 1 v 1 [ m at h . A T ] 9 F eb 2 00 2 COLIMITS , STANLEY - REISNER ALGEBRAS , AND LOOP SPACES
We study diagrams associated with a finite simplicial complex K, in various algebraic and topological categories. We relate their colimits to familiar structures in algebra, combinatorics, geometry and topology. These include: right-angled Artin and Coxeter groups (and their complex analogues, which we call circulation groups); Stanley-Reisner algebras and coalgebras; Davis and Januszkiewicz's ...
متن کاملOn a special class of Stanley-Reisner ideals
For an $n$-gon with vertices at points $1,2,cdots,n$, the Betti numbers of its suspension, the simplicial complex that involves two more vertices $n+1$ and $n+2$, is known. In this paper, with a constructive and simple proof, wegeneralize this result to find the minimal free resolution and Betti numbers of the $S$-module $S/I$ where $S=K[x_{1},cdots, x_{n}]$ and $I$ is the associated ideal to ...
متن کاملAddendum to ”frobenius and Cartier Algebras of Stanley-reisner
We give a purely combinatorial characterization of complete Stanley-Reisner rings having a principally generated (equivalently, finitely generated) Cartier algebra.
متن کاملAn Algebraic Approach to Finite Projective Planes
A finite projective plane, or more generally a finite linear space, has an associated incidence complex that gives rise to two natural algebras: the Stanley-Reisner ring R/IΛ and the inverse system algebra R/I∆. We give a careful study of both of these algebras. Our main results are a full description of the graded Betti numbers of both algebras in the more general setting of linear spaces (giv...
متن کامل